面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

超短波数据调制解调器的研究与实现

超短波数据通信在国内日趋发展,迫切需要专门用于超短波的数据调制解调器。本文将有线、短波数据通信的理论和方法有机地结合在一起,研究和设计了多速率的超短波数据modem 的方案,对系统的性能和关键技术作了分析,并给出了计算机模拟结果。     

一种工业机器人柔性手腕的设计与分析

本文提出了由双重系杆平面差动轮系机构组成的工业机器人柔性手腕。计算机运动轨迹的仿真结果以及实模型表明,该柔性手腕具有结构简单、紧凑和运动范围大等优点,可以装备于喷漆和焊接工业机器人上。     

基于DEA/AHP的炮兵群通信组织方案评价

炮兵群通信组织方案的优劣直接关系到能否对部队实施有效的指挥控制,因此如何客观地评价并依据评价结果进行优选就显得尤为重要。基于炮兵通信的基本要求和现有装备情况,构建了炮兵群通信组织方案评价的指标体系,在对利用DEA/AHP模型评价该问题合理性分析的基础上,给出了简要的评价步骤,并结合炮兵群岛上进攻战斗通信组织方案进行了评价与选优,从一个侧面验证了该评价方法的可行性和可信性。     

广州市邮件业务量对确定运能需求的研究

为了合理利用车辆资源,为决策提供理论依据,本文采用多元统计回归分析法与模糊数学优化法,为广州市邮政局车辆运能研究,建立了数学模型,并附有项目软件,计算结果与实际情况吻合较好。这样,对合理利用邮政车辆资源,提高运营效率,具有一定的意义。     

有效监督:提高党的执政能力的重要保证

提高党的执政能力 ,必须对权力运行实施有效监督。充分认识加强监督的必要性和重要性 ,增强领导干部自觉接受监督的意识和群众主动进行监督的观念 ,打牢监督的思想基础 ;把党内民主与人民民主结合起来 ,重点加强对领导机关和领导干部的全方位监督 ,用民主编织反腐败的天罗地网 ;查处腐败案件与法规制度建设结合起来 ,重在健全严密有效的监督制约机制 ,靠法制解决问题。     

论科学社会主义理论与实践的新发展

科学社会主义理论是一个开放的体系,具有与时俱进的理论品质。中国改革开放的伟大实践有力推动了科学社会主义理论的发展,社会主义事业将不断发展,科学社会主义理论也将得到不断发展。     

加工复杂曲面的三阶切触原理

本文把微分几何中曲线与曲面之间的“切触”概念应用于复杂曲面的数控加工,提出用圆柱铣刀或圆锥盘铣刀的外圆在五坐标联动中加工三维自由曲面的最佳切触条件。     

变结构C3I系统指控组织结构的建模与评估

指挥控制组织是Ｃ３Ｉ系统的核心,文章讨论了指控组织的Ｐｅｔｒｉ网建模方法,提出了一种变结构的指控结构模型,并与以往所采用的固定结构的模型相比较对其进行了性能评估     

面向战争设计工程的作战任务设计建模方法

通过对战争设计工程作战任务设计建模方法的研究,首先提出了面向战争设计工程的作战任务建模框架,进而给出了作战任务模型的组成结构,即作战任务元模型、作战任务层次结构模型、作战任务关系模型,进一步明确了作战任务的影响条件.在此基础上,给出了潜艇打击舰艇编队的案例,证明了建模方法的有效性.